Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings: 3634 (Lecture Notes in Computer Science)
by Luke Ong
ISBN 13: 9783540282310
Format: Paperback (567 pages) Publisher: Springer Published: 09 Aug 2005
Save for later
Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008: IFIP 20th World Computer Congress, TC 1, Foundations of Computer ... in Information and Communication Technology)
by Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong
ISBN 13: 9781441935144
Format: Paperback (568 pages) Publisher: Springer Published: 12 Feb 2010
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, ... 10610 (Lecture Notes in Computer Science)
by Zhenhua Duan,Luke Ong
ISBN 13: 9783319686899
Format: Paperback (516 pages) Publisher: Springer Published: 14 Oct 2017
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky: Essays Dedicted to Samson Abramsky on the Occasion of His ... 7860 (Lecture Notes in Computer Science)
by Bob Coecke,Luke Ong,Prakash Panangaden
ISBN 13: 9783642381638
Format: Paperback (384 pages) Publisher: Springer Published: 16 May 2013
Logic, Language, Information, and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings: 7456 (Lecture Notes in Computer Science)
by Luke Ong, Ruy de Queiroz
ISBN 13: 9783642326202
Format: Paperback (352 pages) Publisher: Springer Published: 16 Jul 2012